Merge pull request #1428 from jeenu-arm/mbedtls
authorDimitris Papastamos <[email protected]>
Thu, 21 Jun 2018 13:35:54 +0000 (14:35 +0100)
committerGitHub <[email protected]>
Thu, 21 Jun 2018 13:35:54 +0000 (14:35 +0100)
Move to mbedtls-2.10.0 tag


Trivial merge